Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
281	Table of contents Section I Opening Chapter 1 Introduction 5 Add to Reading List Source URL: www.maklu.be Language: English - Date: 2009-04-22 04:08:10 Variables Mathematics Algebra Logical syntax
282	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
283	Belief ascription under bounded resources ∗ Natasha Alechina and Brian Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK ({nza,bsl}@cs.nott.ac.uk) Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-08-27 04:02:10 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus
284	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 12:58:33 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
285	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics
286	Robotics, Temporal Logic and Stream Reasoning Patrick Doherty1∗, Fredrik Heintz1 and Jonas Kvarnström1 Linköping University, Department of Computer and Information Sciences, S[removed]Linköping, Sweden patrick.dohert Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2015-01-26 06:34:59 Model theory Metalogic Philosophical logic Linear temporal logic First-order logic Temporal logic Interpretation Well-formed formula Modal logic Logic Formal languages Logical syntax
287	DEPARTMENT OF THE TREASURY I NTERNAL REVENUE SERVI CE WASHINGTON, D.C[removed]CC:DOM:FS:CORP T-N[removed] Add to Reading List Source URL: www.irs.gov Language: English - Date: 2012-07-29 00:30:35 Deduction Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Equity Corporation Logic Business Finance
288	Bounded-Resource Reasoning as (Strong or Classical) Planning A. Albore1 , N. Alechina2 , P. Bertoli3 , C. Ghidini3 , and B. Logan2 Universitat Pompeu Fabra, pg.Circumval·laci´o[removed], Barcelona, Spain School of Compu Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-21 08:27:09 Formal languages Propositional calculus Logical syntax Logic in computer science Well-formed formula Natural deduction Method of analytic tableaux Function Formula Logic Mathematics Mathematical logic
289	From SIAM News, Volume 43, Number 9, November[removed]Communication and its Possibilities Communicating Science: Professional, Popular, Literary. By Nicholas Russell, Cambridge University Press, Cambridge, UK, 2010, 348 pa Add to Reading List Source URL: www.siam.org Language: English - Date: 2010-12-16 12:34:52 Logical consequence Philosophical logic Philosophy of language Theorems Lillian Rosanoff Lieber Mathematical proof Poincaré conjecture Clifford Geertz Formal proof Logic Mathematics Logical syntax
290	Model-Checking Memory Requirements of Resource-Bounded Reasoners Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:27 Logical syntax Constructible universe Interpretation Well-formed formula Logic Formal languages Model theory

UPDATE